Computability : Computable Functions Logic and the Foundations of MathClick Here http://ebookholic.org/?book=0534103561